Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
221	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings
222	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
223	Handbook of Applications of Chaos Theory by Christos H Skiadas and Charilaos Skiadas, Editors Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2013-02-07 17:03:05 Algorithm Mathematical logic Theoretical computer science Computer program Programming language Computer Human–computer interaction Robotics System Computing Software engineering Computer programming
224	Microsoft Word - FTM Evaluation Report MasterFINAL v2.doc Add to Reading List Source URL: www.americanhumane.org Language: English - Date: 2011-02-07 15:51:42 Sociology Methodology Program evaluation Logic model Impact evaluation Evaluation Evaluation methods Impact assessment
225	Articles Articles should deal with topics applicable to the broad field of program evaluation. Articles may focus on evaluation methods, theory, practice, or findings. In all cases, implications for practicing evaluators Add to Reading List Source URL: www.socialresearchmethods.net Language: English - Date: 2012-08-02 21:03:46 Science Thought Program evaluation Logic model National Institutes of Health American Evaluation Association Scientific method Transdisciplinarity Empowerment evaluation Evaluation Evaluation methods Impact assessment
226	Microsoft PowerPoint - Performance Measures and Program Management 2008 regionals Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:10:08 Science Sociology Impact assessment Program evaluation Performance measurement Logic model Best practice Reliability engineering Evaluation Evaluation methods Management
227	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
228	Analog Logic: Continuous-Time Analog Circuits for Statistical Signal Processing by Benjamin Vigoda Submitted to the Program in Media Arts and Sciences, Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:07 Electromagnetism Electronic circuits Digital signal processing Analog signal Video signal Signal processing Digital electronics Digital signal Analog computer Electronic engineering Electronics Electronic design
229	Program KRAMASThe slots for the KRAMAS workshop are strictly limited to 25 minutes per paper. After 20 minutes, the session chairs will indicate that presentation time is over, leaving 5 minutes for questions. 8.4 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-09-04 07:34:00 Knowledge Modal logic Non-classical logic Philosophical logic Epistemic modal logic Argumentation theory Reason Logic Science Arguments
230	ASSESSING DIGITAL LIBRARY SERVICES: APPROACHES, ISSUES, AND CONSIDERATIONS Add to Reading List Source URL: www.kc.tsukuba.ac.jp Language: English - Date: 2004-05-17 02:48:47 Sociology Association of Research Libraries Program evaluation Library Information literacy Performance measurement Public library Digital library Logic model Science Evaluation Library science

UPDATE